Strongly Noetherian rings and constructive ideal theory
نویسنده
چکیده
We give a new constructive definition for Noetherian rings. It has a very concrete statement and is nevertheless strong enough to prove constructively the termination of algorithms involving “trees of ideals”. The efficiency of such algorithms (at least for providing clear and intuitive constructive proofs) is illustrated in a section about Lasker–Noether rings: we give constructive proofs for the existence of the minimal primes over an ideal, of its radical, of its primary decomposition, in a wide class of polynomial rings. © 2003 Elsevier Ltd. All rights reserved.
منابع مشابه
The regular element property
The property that an ideal whose annihilator is zero contains a regular element is examined from the point of view of constructive mathematics. It is shown that this property holds for nitely presented algebras over discrete elds, and for coherent, Noetherian, strongly discrete rings that contain an in nite eld. Let R be a commutative ring and M an R-module. For any subset I of R, we write AM(I...
متن کاملSTRONGLY DUO AND CO-MULTIPLICATION MODULES
Let R be a commutative ring. An R-module M is called co-multiplication provided that foreach submodule N of M there exists an ideal I of R such that N = (0 : I). In this paper weshow that co-multiplication modules are a generalization of strongly duo modules. Uniserialmodules of finite length and hence valuation Artinian rings are some distinguished classes ofco-multiplication rings. In additio...
متن کاملSome results on Noetherian semigroup
In this paper we study some results on Noetherian semigroups. We show that if $S_S$ is an strongly faithful $S$-act and $S$ is a duo weakly Noetherian, then we have the following.
متن کاملGENERALIZED PRINCIPAL IDEAL THEOREM FOR MODULES
The Generalized Principal Ideal Theorem is one of the cornerstones of dimension theory for Noetherian rings. For an R-module M, we identify certain submodules of M that play a role analogous to that of prime ideals in the ring R. Using this definition, we extend the Generalized Principal Ideal Theorem to modules.
متن کاملHereditary Noetherian Prime Rings
In the study of hereditary Noetherian rings, it is clear that hereditary Noetherian prime rings will play a central role (see, for example, [12]). Here we study the (two-sided) ideals of an hereditary Xoetherian prime ring and, as a consequence, ascertain the structure of factor rings and torsion modules. The torsion theory represents a generalization of similar results about Dedekind prime rin...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- J. Symb. Comput.
دوره 37 شماره
صفحات -
تاریخ انتشار 2004